rel-path-between(T;R;x;y;L) == rel-path(R;L) & (0 < ||L||) & x = hd(L) & y = last(L) 

latex

---

clarification:

rel-path-between(T;R;x;y;L) == rel-path(R;L) & (0 < ||L||) & x = hd(L)  T & y = last(L)  T 

latex

Definitions	rel-path(R;L), a < b, #$n, ||as||, P & Q, hd(l), s = t, last(L)
FDL editor aliases	rel-path-between